supplied-by
: <=  ( n1 n2 -- f )  > 0= ;
